Fixed point - PDFSEARCH.IO - Document Search Engine

Fixed point
Results: 544

#	Item
171	A Bisimulation for Dynamic Sealing Eijiro Sumii Benjamin C. Pierce University of Pennsylvania Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2004-10-25 16:21:02 Lambda calculus Computability theory Fixed-point combinator Π-calculus Valuation Combinatory logic Theoretical computer science Mathematics Applied mathematics
172	CCCG 2010, Winnipeg MB, August 9–11, 2010 Existence of zone diagrams in compact subsets of uniformly convex spaces Eva Kopeck´ a∗ Add to Reading List Source URL: cccg.ca Language: English - Date: 2010-07-19 10:46:14 Banach spaces Computational geometry Discrete geometry Metric geometry Voronoi diagram Schauder fixed point theorem Metric space Compact space Complete metric space Mathematics Topology Geometry
173	The Mandelbrot Set And Its Associated Julia Sets If one wants to study iterations of functions or mappings, f ◦n = f ◦ . . . ◦ f , as n becomes arbitrarily large then Julia sets are an important tool. They show up Add to Reading List Source URL: www.math.uni-bonn.de Language: English - Date: 2009-11-27 13:21:07 Mandelbrot set Julia set Attractor Fixed point Orbit Periodic points of complex quadratic mappings Complex quadratic polynomial Fractals Mathematical analysis Complex dynamics
174	CCCG 2011, Toronto ON, August 10–12, 2011 Isoperimetric Triangular Enclosure with a Fixed Angle Prosenjit Bose∗ Abstract Add to Reading List Source URL: 2011.cccg.ca Language: English - Date: 2011-08-06 04:11:16 Trigonometry Triangles Trigonometric functions Rotation Fermat point Geometry Mathematical analysis Mathematics
175	CCCG 2011, Toronto ON, August 10–12, 2011 Isoperimetric Triangular Enclosure with a Fixed Angle Prosenjit Bose∗ Abstract Add to Reading List Source URL: www.cccg.ca Language: English - Date: 2011-08-06 04:11:16 Trigonometry Triangles Trigonometric functions Rotation Fermat point Geometry Mathematical analysis Mathematics
176	BRICS Basic Research in Computer Science BRICS RSO. Danvy: Online Type-Directed Partial Evaluation Online Type-Directed Partial Evaluation Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:06:09 Applied mathematics Normalisation by evaluation Combinatory logic Church encoding Type theory Fixed-point combinator Lambda calculus Theoretical computer science Mathematical logic
177	THE USE OF MENTAL IMAGERY IN PSYCHOSYNTHESIS MARTHA CRAMPTON Sir George Williams University Montreal Because psychosynthesis is fundamentally an open system and a point of view, rather than a dogma or doctrine, fixed rul Add to Reading List Source URL: synthesiscenter.org Language: English - Date: 2011-03-08 13:18:02 Medicine Clinical psychology Transpersonal psychology Human Potential Movement Psychosynthesis Systems psychology Roberto Assagioli Guided affective imagery Transpersonal Mind Psychotherapy Psychology
178	Type-Based Termination, Inflationary Fixed-Points, and Mixed Inductive-Coinductive Types Andreas Abel Department of Computer Science Ludwig-Maximilians-University Munich, Germany Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2012-02-08 12:13:50 Recursion Theoretical computer science Computability theory Category theory Ordinal numbers F-coalgebra Fixed-point combinator Termination analysis Lambda calculus Mathematical logic Mathematics Computer programming
179	The Arrow Calculus (Technical Report) Sam Lindley Philip Wadler Add to Reading List Source URL: groups.inf.ed.ac.uk Language: English - Date: 2008-07-22 11:55:55 Mathematical logic Fixed-point combinator Arrow Simply typed lambda calculus Function Natural deduction Combinatory logic Theoretical computer science Mathematics Lambda calculus
180	Microsoft Word - B1MNUM.DOC Add to Reading List Source URL: www.boic.com Language: English - Date: 2012-03-11 09:48:20 Numbers Arithmetic Primitive types Numerical analysis Floating point Binary-coded decimal Decimal floating point Rounding Fixed-point arithmetic Computer arithmetic Mathematics Data types

UPDATE